semantics of programming language
英 [sɪˈmæntɪks ɒv ˈprəʊɡræmɪŋ ˈlæŋɡwɪdʒ]
美 [sɪˈmæntɪks əv ˈproʊɡræmɪŋ ˈlæŋɡwɪdʒ]
【计】程序设计语言语义学
双语例句
- Programming today is less about learning the syntax and semantics of a programming language, such as Java, than about learning the APIs and capabilities of libraries for that language.
今天的编程已不仅仅是学习编程语言的语法和语义，比如Java，我们并不是学习其API及类库的能力。 - Research and Verification on the Operational Semantics Model of DFL Programming Language
动态模糊逻辑程序设计语言的操作语义模型及验证 - Formal Semantics of Framed Temporal Logic Programming Language MSVL
框架时序逻辑程序语言MSVL的形式语义 - The Declarative Semantics of Logic Programming Language G(?) del
逻辑程序设计语言G（？）del的说明性语义 - An operational semantics model of DFL programming language was proposed with a ternary array and then some basic data types and several mechanisms of constructing new data types were defined;
通过一个三元组给出了DFL程序设计语言的操作语义模型； - The formal semantics of programming languages can provide concise and precise language definition. It helps people not only to understand well the language, but also to standardization of language.
程序语言的形式化语义提供简洁而精确的语言定义，不仅帮助人们很好的理解语言，而且有助于语言的标准化。 - Denotational semantics describes the semantics of a programming language in afunctional way, but the first-order temporal logic expresses the semantics of a prog-ramming language in a logical way.
指称语义学是以函数的形式来表达程序的语义，一阶时态逻辑是以逻辑方式表达程序的语义。 - Syntax and semantics of intelligent agent programming language IAPL
智能Agent程序设计语言IAPL - Following and being based on the mathematical foundation of the combinatory logic this paper discusses once more the semantics of the functional programming ( FP) language.
本文继文献（1）之后，在合成逻辑这一数学基础上，再次探讨函数式程序设计（FP）语言的语义学。 - Giving an operational semantics model of DFL programming language which can solve dynamic fuzzy problems and proving the correctness and reliability of it;
提出了可以解决动态模糊性问题的DFL程序设计语言的操作语义模型，并对该模型的正确性和可靠性进行了证明； - Formal specification languages Z and Object-Z have used to describe the semantics of programming language.
形式化规范语言Z和Object-Z已经用于描述程序语言语义。 - Denotational semantics of distributed programming language
分布式程序设计语言的指称语义 - This logic is used to describe the semantics of the various language components, the property of the verification process, and software specifications of programming language.
本文用这种逻辑描述程序设计语言各个语言成分的语义，验证程序的性质，以及软件规范。